Словарь по логике - категорическое суждение

(в традиционной логике) -суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования к.-л. условий и при этом исключаются к.-л. альтернативные предикаты. К.с. имеют вид: "S есть (не есть) Р" и относятся к классу простых суждений. К. с. обычно противопоставляются условным и разделительным суждениям.